Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
- Författare
- (Edited by Erika Ábrahám, Marieke Huisman.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2016 | Tyskland, Cham | XIV, 538 sidor. 145 illus. online resource. | 978-3-319-33693-0 |